Synthesis and characterization of SrFeOx hetero-film resistance-switching device with low operation voltage

As a critical topological phase transition material, SrFeO_x could play an essential role in the field of resistive memory. How to implement resistance-switching more softly and ensure the stability of materials has always been a relevant research hotspot. Regulating the oxygen environment during the deposition process of the films can effectively control the stoichiometry of the functional layer and then improve the resistance-switching characteristics of the device. In this paper, a SrFeO_x hetero-film was prepared by oxygen pretreatment on the SrRuO₃ surface before SrFeO_x deposition, and the as-assembled micrometer-scale device exhibits a low set operating voltage of 0.6 V and favorable cycling characteristics. The SrFeO_x hetero-film reveals a vertical brownmillerite superlattice-like structure with ～20 nm perovskite buffer layer, which benefits the connection and rupture of conductive filament. Additionally, XPS and UV–vis were used to analyze the bonding energy and band gap of SrFeO_x hetero-film, and offers the experimental basis for the explanation of the conductive mechanism. Therefore, the device based on SrFeO_x hetero-film with low operation voltage provides a reference for low power consumption research on topological phase transition material.     

A method of constructing an inspiration library driven by user-perceived preference evaluation data for biologically inspired design

Biologically inspired design (BID) is one of the common methods for product design. To solve the problem of inaccurate acquisition of inspirational creatures due to the lack of user perception preference analysis, a data-driven intelligent service model for BID considering user perception needs is proposed based on Kansei engineering. Firstly, by extracting the perceptual features of creatures from the semantic source elements of products through mapping and encodes them, we proposed a data acquisition method based on intuitionistic fuzzy sets considering different customer preference distributions, bridging the gap caused by the asymmetry between designers and users. Secondly, the functional relationship between biometric features and user-perceived attributes is identified and predicted, and a predictive model of biodata considering user preferences is obtained by multiple linear regression analysis. Finally, based on the data clustering and reorganization theory to understand the organization and dynamics of the database, the construction of a BID library was completed, and the design resources in the library were used as analyzed knowledge for designers to plan design activities. Taking the bionic design of a UAV product as an example, a prototype of a computer-aided design service system was developed based on the theory proposed in the article, and the analyzed knowledge was used to improve the efficiency and science of the design, effectively verifying the usefulness of this study for design. To a certain extent, this study addresses the problem of cognitive limitations of designers and cognitive differences between designers and users, promotes the application of bioinspiration in product design, and improves the marketability of design solutions.     

The operation types and operation window for high-purity hydrogen production for the sorption enhanced steam methane reforming in a fixed-bed reactor

The operation types and operation window for high-purity H₂ production for the sorption enhanced steam methane reforming (SE-SMR) with Ni/Al₂O₃ catalyst and CaO sorbent in a fixed-bed reactor are investigated by an experimentally verified 2D numerical method. Four chemical reactions including steam reforming, water gas shift, global steam reforming, and CO₂ sorption are considered. The operation window is defined as the H₂ and CO molar fractions at outlet satisfying both y_H2,out ≥ 90% and y_CO,out ≤ y_CO,allow (= 1%, 2% or 3%) in dry base. Under the conditions of y_H2,out and y_CO,allow, there are six operation types, of which 2 types are within the operation window and 4 types are not within the operation window as the temperature, weight hourly space velocity (WHSV) and steam to methane (S/C) molar ratio vary. For a common case of S/C = 3, the operation windows for y_CO,allow = 3% at WHSV = 8.5 h^?1 and 42.5 h^?1 are located at 570–670 °C and 640–690 °C respectively, based on the parameters in this work. The operation window of temperature is wider with decreasing WHSV, and it becomes wider remarkably as the S/C ratio increases. The lowest temperature inside the operation window is 550 °C. The effects of the temperature, WHSV and S/C ratio on the operating types, y_H2,out and y_CO,out are also presented and discussed in details.     

基于桥连接的词典学习方法的语义解析

现阶段的语义解析方法大部分都基于组合语义,这类方法的核心就是词典。词典是词汇的集合,词汇定义了自然语言句子中词语到知识库本体中谓词的映射。语义解析一直面临着词典中词汇覆盖度不够的问题。针对此问题,该文在现有工作的基础上,提出了基于桥连接的词典学习方法,该方法能够在训练中自动引入新的词汇并加以学习,为了进一步提高新学习到的词汇的准确度,该文设计了新的词语—二元谓词的特征模板,并使用基于投票机制的核心词典获取方法。该文在两个公开数据集(WebQuestions和Free917)上进行了对比实验,实验结果表明,该文方法能够学习到新的词汇,提高词汇的覆盖度,进而提升语义解析系统的性能,特别是召回率。     

《化学制药单元操控》工学结合课程的教学探索

《化学制药单元操控》是一门新开发的将情景教学、实验操作和仿真实训相结合的工学结合课程。其中,引入化工仿真教学这一新型的教学方式,即通过在非常逼真的操作环境中进行技能训练,使学生对实际生产装置有更加感性的了解和认识。本文对《化学制药单元操控》工学结合课程开发与实施应用过程进行分析和总结得到几点经验,同时分享对该门课程教学改革中的一些心得。     

The PAR(p) Interconfigurations model used by the Brazilian Electric Sector

This study discusses the characteristics of the Periodic Autoregressive model, PAR(p), which is used to generate synthetic series of inflow energies that serve as entries for computer platforms that implement the planning and expansion of the operations of the BES – the Brazilian Electric Sector (SEB – Sistema Elétrico Brasileiro). The methodology for the design of a generating plant is presented in addition to the fundamentals of the “PAR(p) Interconfigurations” Model, which is referred to as the Inflow Energy Generation Model (IEGM) in this study. The major contribution of this study is to provide the first scientific discussion of the representation of multiple configurations using the PAR(p) model. For this purpose, several topics related to the time series are discussed, such as the definition of the model order, the matter of stationarity and the need to address possible outliers. Finally, a case study is presented, wherein the results of the estimation and generation of the described model’s scenarios are demonstrated.     

悬挂系统参数对轨交车辆运行平稳性的影响分析

介绍了轨交车辆悬挂系统的组成与作用,分析了轨交车辆运行平稳性及其指标。以某型轨交客车为研究对象,应用SIMPACK软件建立车辆动力学模型,分析悬挂系统参数对轨交车辆运行平稳性的影响。通过分析,得到空气弹簧刚度、阻尼系数及其它悬挂关键参数对轨交车辆运行平稳性的影响规律。     

Design and experimental investigation of the high efficiency 1.5 W/4.2 K pneumatic-drive G-M cryocooler

The development of a high cooling power and high efficiency 4.2 K two stage G-M cryocooler is critically important given its broad applications in low temperature superconductors, MRI, infrared detector and cryogenic electronics. A high efficiency 1.5 W/4.2 K pneumatic-drive G-M cryocooler has recently been designed and developed by ARS. The effect of expansion volume rate and operation conditions on the cooling performance has been experimentally investigated. A typical cooling performance of 1.5 W/4.2 K has been achieved, and the minimum temperature of the second stage is 2.46 K. The steady input power of the compressor at 60 Hz is 6.8 kW, while the operation speed of the rotary valve is 30 rpm. A maximum cooling power of 1.75 W/4.2 K has been obtained in test runs.     

Semantics for consistent activation in context-oriented systems

ContextContext-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior.ObjectiveWith the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction.MethodAs a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies.ResultsIn the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts.ConclusionContext Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.     

Feature-based ontological framework for semantic interoperability in product development

An essential requirement in integrating tasks in product development is to have a seamless exchange of product information through the entire product lifecycle. A key challenge in the integration is the exchange of shape semantics in terms of understandable labels and representations. A unified taxonomy is proposed to represent, classify, and extract shape features. This taxonomy is built using the Domain-Independent Form Feature (DIFF) model as the representation of features. All the shape features in a product model are classified under three main classes, namely, volumetric features, deformation features and free-form surface features. Shape feature ontology is developed using the unified taxonomy, which brings the shape features under a single reasoning framework. One-to-many reasoning framework is presented for mapping semantically equivalent information (label and representation) of the feature to be exchanged to target applications, and the reconstruction of the shape model automatically in that target application. An algorithm has been developed to extract the semantics of shape features and construct the model in the target application. The algorithm developed has been tested for shape models taken from literature and test cases are selected based on variations of topology and geometry. Results of exchanging product information are presented and discussed. Finally, the limitations of the proposed method for exchanging product information are explained.